- proper Herbrand disjunction
- Математика: собственная эрбранова дизъюнкция
Универсальный англо-русский словарь. Академик.ру. 2011.
proper Herbrand disjunction
Смотреть что такое "proper Herbrand disjunction" в других словарях:
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
